type undefined = void;
